RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft

The autonomous control of unmanned aircraft is a highly safety-critical domain with great economic potential in a wide range of application areas, including logistics, agriculture, civil engineering, and disaster recovery. We report on the development of a dynamic monitoring framework for the DLR ARTIS (Autonomous Rotorcraft Testbed for Intelligent Systems) family of unmanned aircraft based on the formal specification language RTLola. RTLola is a stream-based specification language for real-time properties. An RTLola specification of hazardous situations and system failures is statically analyzed in terms of consistency and resource usage and then automatically translated into an FPGA-based monitor. Our approach leads to highly efficient, parallelized monitors with formal guarantees on the noninterference of the monitor with the normal operation of the autonomous system

High-levelexpression of functional recombinant human coagulation factor VII in insect cells

Abstract: Recombinant coagulation factor VII (FVII) is used as a potential therapeutic intervention in hemophilia patients who produce antibodies against the coagulation factors. Mammalian cell lines provide low levels of expression, however, the Spodoptera frugiperda Sf9 cell line and baculovirus expression system are powerful systems for high-level expression of recombinant proteins, but due to the lack of endogenous vitamin K-dependent carboxylase, expression of functional FVII using this system is impossible. In the present study, we report a simple but versatile method to overcome the defect for high-level expression of the functional recombinant coagulation FVII in Sf9 cells. This method involves simultaneous expression of both human γ-carboxylase (hGC) and human FVII genes in the host. It may be possible to express other vitamin K-dependent coagulation factors using this method in the future. Keywords: Baculovirus; γ-carboxylase; Coagulation FVII; Factor VII; Insect cel

MAC and baseband processors for RF-MIMO WLAN

The article describes hardware solutions for the IEEE 802.11 medium access control (MAC) layer and IEEE 802.11a digital baseband in an RF-MIMO WLAN transceiver that performs the signal combining in the analogue domain. Architecture and implementation details of the MAC processor including a hardware accelerator and a 16-bit MACphysical layer (PHY) interface are presented. The proposed hardware solution is tested and verified using a PHY link emulator. Architecture, design, implementation, and test of a reconfigurable digital baseband processor are described too. Description includes the baseband algorithms (the main blocks being MIMO channel estimation and Tx-Rx analogue beamforming), their FPGA-based implementation, baseband printed-circuit-board, and real-time test

Mobile Consumer Behavior in Fashion m-Retail: An Eye Tracking Study to Understand Gender Differences

© 2020 ACM. With exponential adoption of mobile devices, consumers increasingly use them for shopping. There is a need to understand the gender differences in mobile consumer behavior. This study used mobile eye tracking technology and mixed-method approach to analyze and compare how male and female mobile fashion consumers browse and shop on smartphones. Mobile eye tracking glasses recorded fashion consumers' shopping experiences using smartphones for browsing and shopping on the actual fashion retailer's website. 14 participants successfully completed this study, half of them were males and half females. Two different data analysis approaches were employed, namely a novel framework of the shopping journey, and semantic gaze mapping with 31 Areas of Interest (AOI) representing the elements of the shopping journey. The results showed that male and female users exhibited significantly different behavior patterns, which have implications for mobile website design and fashion m-retail. The shopping journey map framework proves useful for further application in market research